#include <stdarg.h>
#include <stdio.h>

#include "log.h"

#ifdef __VA_ARGS__
void log_printf(BOOL details, const char *file, int line,
                const char *format, ...)
{
  va_list ap;

  (void) details;
  (void) file;
  (void) line;
#else
void log_printf(const char *format, ...)
{
  va_list ap;
#endif

  va_start(ap, format);
  vfprintf(stderr, format, ap);
  va_end(ap);
  fflush(stderr);
}
